From 442d084a2a71624128232df4d52db9468a07675a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Timm=20B=C3=A4der?= Date: Wed, 3 May 2017 10:24:32 +0200 Subject: [PATCH] widget: Draw focus outline --- gtk/gtkwidget.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index 2e5203f708..39c5498d85 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -15415,6 +15415,16 @@ gtk_widget_snapshot (GtkWidget *widget, gtk_snapshot_pop (snapshot); } + if (gtk_widget_has_visible_focus (widget)) + { + gtk_snapshot_offset (snapshot, margin.left, margin.top); + gtk_css_style_snapshot_outline (style, + snapshot, + allocation.width - margin.left - margin.right, + allocation.height - margin.top - margin.bottom); + gtk_snapshot_offset (snapshot, - margin.left, - margin.top); + } + gtk_css_filter_value_pop_snapshot (filter_value, snapshot); if (GTK_DEBUG_CHECK (SNAPSHOT)) -- 2.30.2